formal language and automata theory中文是什么意思

• 形式语言与自动机理论

• "formal"中文翻译    adj. 1.正式的。 2.礼节上的，仪式上的；郑重其事 ...
• "language"中文翻译    n. 1.语言；(某民族，某国的)国语；语调，措词。 2 ...
• "automata"中文翻译    n. automaton 的复数。
• "theory"中文翻译    n. 1.理论，学理，原理。 2.学说，论说 (opp. ...
• "automata and formal language" 中文翻译 :    自动机和形式语言
• "formal language theory" 中文翻译 :    形式语言理论
• "automata theory" 中文翻译 :    有限自动机; 自动机理论
• "theory of automata" 中文翻译 :    自动机理论
• "formal languages and automata" 中文翻译 :    形式语言与自动机
• "formal language" 中文翻译 :    补语言; 形式语言; 正式语言
• "abstract automata theory" 中文翻译 :    抽象自动机理论
• "mathematical theory of automata" 中文翻译 :    自动机数学理论
• "formal theory" 中文翻译 :    形式理论
• "formal description language" 中文翻译 :    形式描述语言
• "formal formula manipulation language" 中文翻译 :    公式处理语言
• "formal language definition" 中文翻译 :    形式语言定义
• "formal language grammar" 中文翻译 :    形式语言文法
• "formal language processing" 中文翻译 :    形式语言加工
• "formal language processor" 中文翻译 :    形式语言加工程序
• "formal query language" 中文翻译 :    格式询问语言
• "formal semantic language" 中文翻译 :    形式语义语言
• "formale sprache formal language" 中文翻译 :    形式语言
• "fql formal query language" 中文翻译 :    正式查询语言
• "fsl formal semantic language" 中文翻译 :    形式语义语言
• "multidimensional formal language" 中文翻译 :    多维形式语言

• The paper formally defines the concept of electronic contract and their goals , obligations , bindings and non - repudiatable proofs by the formal language and automata theory . by making the obligations and proofs work together , the partners are enforced to achieve the business goals
  本文用形式语言与自动机理论对电子合同及其目标、责任、约束以及不可抵赖性证据进行形式化定义，使责任和证据相互配合，迫使达到商业目标。